Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🦀Rust
A sprinkle of Rust - bind, don't rewrite, in the age of MCP servers
medium.com·20h·
Discuss: r/rust
🦀Rust
GoMem is a high-performance memory allocator library for Go
github.com·16h
🧠Memory Allocators
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·6h·
Discuss: r/programming
🌿Leptos
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·9h
🏆LLM Benchmarking
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🎭Rust Macros
Three ways formally verified code can go wrong in practice
buttondown.com·1h
💻Programming languages
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·18h·
Discuss: Hacker News
🔐Cryptography
Implementing ZADD If Key Exists
rozumem.xyz·13h·
Discuss: Hacker News
📌Pin/Unpin
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
🦀Rust
rust-lang/rustfmt
github.com·17h
🎭Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
💻Programming languages
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·3h·
Discuss: r/rust
🎭Rust Macros
JVM stack is about to be massively modernized
medium.com·1h·
Discuss: Hacker News
🔧Developer tools
What can't you do with Rust but it's fine with Go ?
reddit.com·22h·
Discuss: r/rust
🦀Rust
Show HN: Realization Jsmn on a Pure Zig
github.com·9h·
Discuss: Hacker News
🔤Tokenization
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🔧Developer tools
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·3h·
🕳LLM Vulnerabilities
Patina project – a Rust implementation of UEFI firmware
github.com·12h·
Discuss: Hacker News
📦Cargo
Most-watched Rust talks of 2025 (so far)
reddit.com·7h·
Discuss: r/rust
🦀Rust